University of Oldenburg - PDFSEARCH.IO - Document Search Engine

University of Oldenburg
Results: 76

#	Item
71	Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-11 06:38:02 Formal methods Graph rewriting Model checking Predicate transformer semantics Graph Graph theory Mathematics Theoretical computer science
72	Programme ALFA II[removed]Statistics 1_10 Rounds THE NETHERLANDS Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2007-10-25 23:44:00 Universidad del Valle de Guatemala Universidad de las Américas Puebla Grandes écoles Academia Higher education Education University of Oldenburg Manuel Delgado Ruiz Consortium for North American Higher Education Collaboration Education in Guatemala Guatemala City
73	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
74	Microsoft Word - clioh_partners feb05.rtf Add to Reading List Source URL: www.clioh.net Language: English - Date: 2007-01-15 04:36:20 European History Network University of Oldenburg European Spatial Development Planning
75	Programme ALFA II[removed]Statistics 1_10 Rounds ITALY Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2007-10-25 23:44:00 Academia Private universities Knowledge University of Oldenburg Association of Pacific Rim Universities University of Chile Education
76	PDF Document Add to Reading List Source URL: www.eua.be Language: English New University of Lisbon Education University of Oldenburg Academia Erasmus/Socrates Partners of Marmara University Grandes écoles Çukurova University Catholic University

UPDATE